Nachum Dershowitz: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

წელი:

2018

ენა:

english

ფაილი:

PDF, 37.42 MB

5.0 / 4.0

english, 2018

2

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

წელი:

2018

ენა:

english

ფაილი:

PDF, 34.69 MB

0 / 0

english, 2018

3

Calendrical Calculations

Calendrical Calculations

Cambridge University Press

Nachum Dershowitz, Edward M. Reingold

წელი:

2007

ენა:

english

ფაილი:

DJVU, 4.24 MB

0 / 0

english, 2007

4

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 6.76 MB

0 / 0

english, 2008

5

Calendrical calculations

Calendrical calculations

Cambridge University Press

Dershowitz, Nachum, Reingold, Edward M

წელი:

2007

ენა:

english

ფაილი:

PDF, 18.47 MB

0 / 0

english, 2007

6

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 5.33 MB

0 / 0

english, 2007

7

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 27.49 MB

0 / 0

english, 2014

8

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 3.45 MB

0 / 0

english, 2007

9

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.84 MB

0 / 0

english, 2010

10

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 8.20 MB

0 / 0

english, 2008

11

Calendrical Calculations

Calendrical Calculations

Nachum Dershowitz, Edward M. Reingold

წელი:

2007

ენა:

english

ფაილი:

DJVU, 4.06 MB

0 / 0

english, 2007

12

The Evolution of Programs

The Evolution of Programs

Nachum Dershowitz

წელი:

1983

ენა:

english

ფაილი:

PDF, 8.81 MB

0 / 0

english, 1983

13

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 8.59 MB

0 / 0

english, 2004

14

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.02 MB

0 / 0

english, 2009

15

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.21 MB

0 / 0

english, 2009

16

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 2.95 MB

0 / 0

english, 2007

17

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 3.52 MB

0 / 0

english, 1995

18

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 5.21 MB

0 / 0

english, 2004

19

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 8.84 MB

0 / 5.0

english, 2009

20

Pillars of Computer Science

Pillars of Computer Science

Arnon Avron Nachum Dershowitz Alexander Rabinovich (Eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 8.64 MB

0 / 0

english, 2008

21

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 2.85 MB

0 / 0

english, 2011

22

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 33.09 MB

0 / 0

english, 2014

23

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Springer International Publishing;Springer

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

წელი:

2020

ენა:

english

ფაილი:

PDF, 10.09 MB

0 / 0

english, 2020

24

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.49 MB

0 / 0

english, 2011

25

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

წელი:

2011

ენა:

english

ფაილი:

PDF, 3.42 MB

0 / 0

english, 2011

26

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

წელი:

1989

ენა:

english

ფაილი:

PDF, 11.76 MB

0 / 0

english, 1989

27

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 34.77 MB

0 / 0

english, 2014

28

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer International Publishing

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

წელი:

2015

ენა:

english

ფაილი:

PDF, 5.13 MB

0 / 0

english, 2015

29

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

წელი:

1989

ენა:

english

ფაილი:

DJVU, 5.18 MB

0 / 0

english, 1989

30

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 2.23 MB

0 / 0

english, 2004

31

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

წელი:

1995

ენა:

english

ფაილი:

PDF, 5.98 MB

0 / 0

english, 1995

32

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 7.14 MB

0 / 0

english, 2004

33

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.96 MB

0 / 0

english, 2010